M2M-Transformation mit der QVT Operational Mappings

QVT ist ein Sprachkonzept der Object Management Group zur Transformation von formalen Modellen. In diesem Beitrag werden ausgehend von einem einfachen Fachklassenmodell die zentralen Konzepte und Techniken der Transformationssprache Operational Mappings vorgestellt, so dass abschließend eine vollständige Transformation eines UML-Modells der PIM-Ebene in eins der PSM-Ebene vorgenommen werden kann. 1 Einordnung der QVT-O in die MDA Modellgetriebene Architekturentwicklung bedeutet das iterative Erstellen von Anwendungssystemen über ständig wechselnde Modellierungsund Transformationsschritte [MDA03, PM06]. Mit Hilfe von formalen Modellierungssprachen, sogenannten MOFSprachen, werden Modelle erstellt, die in einem Transformationsschritt mit QVT-Sprachen in ein neues Modell überführt werden, welches wiederum mit Hilfe einer formalen Modellierungssprache dargestellt und bearbeitet werden kann. Auf diesem Weg wird als Ausgangsmodell einer Entwicklungsphase jeweils ein konsistentes Modell durch Transformation initial bereitgestellt. MOF-Sprachen sind Modellierungssprachen, denen nach dem MOF-Ansatz der OMG [MOF06] ein formales Metamodell zugrunde liegt. Das Metamodell ist gewissermaßen eine Datenstruktur, die nach der MOF-Spezifikation in Form eines UML-Klassendiagramms definiert wird [Nol07]. Alle OMG-Modellierungssprachen – so auch die BPMN, UML, SysML – sind formale Modellierungssprachen, die in diesem Sinne mit UMLbasierten Metamodellen spezifiziert worden sind. Eine weitere, etwas leichtgewichtigere Möglichkeit der Beschreibung von formalen Modellierungssprachen besteht aus der Einarbeitung von domänenspezifischen Belangen in die Modellierungssprache UML. Dies Mittel stellt das UML-Metamodell mit den UML-Profilen zur Verfügung [UML10]. Im Rahmen dieses Beitrags arbeiten wir exemplarisch mit einem UML-Profil, welches eine einfache Erweiterung des UML-Metamodells in Form des Stereotyps <> benutzt. Mit diesem Stereotyp, der mit der Metaklasse Class assoziiert ist, werden die Fachklassen eines UML-Modells markiert, die mit der Transformation in besonderer Weise behandelt werden sollen. Mit der Wahl des UML-Profils ist UML als Modellierungssprache und damit als Modelltyp für die Transformation festgelegt.